High-level effect handlers in C++
نویسندگان
چکیده
Effect handlers allow the programmer to implement computational effects, such as custom error handling, various forms of lightweight concurrency, and dynamic binding, inside programming language. We introduce cpp-effects, a C++ library for effect with typed high-level, object-oriented interface. demonstrate that can be successfully applied in imperative systems languages manual memory management. Through collection examples, we explore how program effectively C++, discuss intricacies challenges implementation, show despite its limitations, cpp-effects performance is competitive some cases even outperforms state-of-the-art approaches C++20 coroutines libmprompt multiprompt delimited control.
منابع مشابه
The effect of vitamin C supplementation on blood cholesterol level in high cholesterol-fed rats
سابقه و هدف: هیپرکلسترولمی یکی از فاکتورهای خطر بیماریهای قلبی ـ عروقی است و افزایش کلسترول خون سلامت عمومی را تحت تاثیر قرار داده و میزان مرگ و میر ناشی از بیماریهای قلبی ـ عروقی را افزایش میدهد. تغذیه با رژیم پرکلسترول باعث افزایش میزان LDL و همچنین کاهش فعالیت گیرندههای LDL در کبد میشود. اکسیداسیون لیپوپروتئین موجود در دیواره عروق، باعث پیشرفت بیماری آتروسکلروز میشود. شواهد چندی حاکی ...
متن کاملEffect of High Light Level on Sperm parameters in Mice
Background and aims: High light level of natural or artificial sources in some workplaces may be considered as a hazardous physical agent. The present study aimed to assess the effect of light level of 1000 lux on sperm parameters in mice. Methods: The subjects were assessed in two group including 1. Exposed (n= 6; exposed to light level of 1000 lux during 5 eight-hour days), 2. Unexposed ...
متن کاملHigh-Level Nondeterministic Abstractions in C++
This paper presents high-level abstractions for nondeterministic search in C++ which provide the counterpart to advanced features found in recent constraint languages. The abstractions have several benefits: they explicitly highlight the nondeterministic nature of the code, provide a natural iterative style, simplify debugging, and are efficiently implementable using macros and continuations. T...
متن کاملContinuation Passing Style for Effect Handlers
We present Continuation Passing Style (CPS) translations for Plotkin and Pretnar’s effect handlers with Hillerström and Lindley’s row-typed fine-grain call-by-value calculus of effect handlers as the source language. CPS translations of handlers are interesting theoretically, to explain the semantics of handlers, and also offer a practical implementation technique that does not require special ...
متن کاملFusion for Free - Efficient Algebraic Effect Handlers
Algebraic effect handlers are a recently popular approach for modelling side-effects that separates the syntax and semantics of effectful operations. The shape of syntax is captured by functors, and free monads over these functors denote syntax trees. The semantics is captured by algebras, and effect handlers pass these over the syntax trees to interpret them into a semantic domain. This approa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on programming languages
سال: 2022
ISSN: ['2475-1421']
DOI: https://doi.org/10.1145/3563445